The Missing Difference Problem, and its Applications to Counter Mode Encryption? Ga¨etan Leurent and Ferdinand Sibleyras Inria, France {gaetan.leurent,ferdinand.sibleyras}@inria.fr

Source URL: who.rocq.inria.fr

• Cryptography
• Block cipher modes of operation
• Message authentication codes
• Finite fields
• Block cipher
• CBC-MAC
• Keystream
• One-key MAC
• Block size
• Galois/Counter Mode
• XXTEA

Léo Ducas BORN IN TOULON, FRANCE, ON OCT. 19, 1986 Eerste Atjehstraat 140E, 1094 KV Amsterdam, The Netherlands.  +

Source URL: homepages.cwi.nl

• Cryptography
• Post-quantum cryptography
• Lattice-based cryptography
• Public-key cryptography
• Ring learning with errors
• BLISS signature scheme
• Homomorphic encryption
• NTRU
• Workshop on Cryptographic Hardware and Embedded Systems
• Elliptic-curve cryptography
• Eurocrypt
• Lattice

Differential Forgery Attack against LAC Ga¨etan Leurent Inria, France Abstract. LAC is one of the candidates to the CAESAR competition.

Source URL: who.rocq.inria.fr

• Cryptography
• Applied mathematics
• Differential cryptanalysis
• Data Encryption Standard
• Block cipher
• Truncated differential cryptanalysis
• ICE
• Cryptanalysis
• Statistical hypothesis testing
• Rebound attack
• Differential-linear attack

Verifying MPI Applications with Mc SimGrid The Anh Pham, Thierry Jéron, Martin Quinson Univ. Rennes  Inria  CNRS  IRISA (France) Correctness 2017 Denver, Colorado

Source URL: correctness-workshop.github.io

• Psychometrics
• Design of experiments
• Statistical hypothesis testing
• Test
• Psychology
• Education
• Parallel computing
• Human behavior

Context Generation from Formal Specifications for C Analysis Tools Michele Alberti1? and Julien Signoles2 TrustInSoft, Paris, France CEA LIST, Software Reliability and Security Laborator

Source URL: julien.signoles.free.fr

• Computing
• Software engineering
• Data types
• Computer programming
• Primitive types
• Formal languages
• Formal methods
• ANSI/ISO C Specification Language
• C
• String
• Frama-C
• Permutation

Najib Idrissi Curriculum Vitæ (fr) Université Paris Diderot – IMJ-PRG 8 place Aurélie Nemous FParis, France

Source URL: idrissi.eu

Åsgard Research Programme Norway - France The “Åsgard Research Programme" is managed by the Department for scientific cooperation of the French Embassy in Norway. It aims at inviting French and Norwegian scientists f

Source URL: www.france.no

• Europe
• Norway

Hiding in the Crowd: an Analysis of the E�ectiveness of Browser Fingerprinting at Large Scale Alejandro Gómez-Boix Univ Rennes, Inria, CNRS, IRISA Rennes, France

Source URL: www.doc.ic.ac.uk

On the Practical (In-)Security of 64-bit Block Ciphers Collision Attacks on HTTP over TLS and OpenVPN Karthikeyan Bhargavan Inria, France

Source URL: who.rocq.inria.fr

Making Automatic Theorem Provers more Versatile Simon Cruanes University of Lorraine, CNRS, Inria, LORIA, 54000 Nancy, France Abstract We argue that automatic theorem provers should become more versatile and should be ab

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Software engineering
• Mathematical software
• Formal methods
• Logic in computer science
• Proof assistants
• Automated theorem proving
• Automated reasoning
• Satisfiability modulo theories
• E theorem prover
• ACL2
• Isabelle